منابع مشابه
Diagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملReal Arguments Are Approximate Arguments
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logic-based argumentation is that an argument is a pair 〈Φ, α〉 where Φ is minimal subset of the knowledgebase such that Φ is consistent and Φ entails the claim α. However, real argument...
متن کاملHow strange a non-strange heavy baryon?
We give some general arguments in favor of the large magnitude of matrix elements of an operator associated with nonvalence quarks in heavy hadrons. We estimate matrix element 1 2mΛb 〈Λb|s̄s|Λb〉 ≃ 1 ÷ 2 for Λb baryon whose valence content is b, u, d quarks. This magnitude corresponds to a noticeable contribution of the strange quark into the heavy baryon mass 1 2mΛb 〈Λb|mss̄s|Λb〉 ≃ 200 ÷ 300MeV ....
متن کاملOncogenic osteomalacia: strange tumours in strange places.
Two patients presented with hypophosphataemic osteomalacia and were subsequently found to have small tumours unusual histopathology and location causing the osteomalacia. Each tumour was found after an intensive search for occult masses. Studies of vitamin D metabolism and renal tubular function before and after surgery yielded further insight into the pathophysiology of oncogenic osteomalacia....
متن کاملStrange Carers
The present comment focuses on the distinction between attachment as bond formation and expectations of availability and responsiveness (security) within attachment relationships. We enumerate key components of bonding and functions of carer secure base support. Our analysis has implications for design and suggests that robots are unlikely to serve effectively as sole carers. Even with robots a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1972
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894716